Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z

نویسندگان

  • Fethi Fkih
  • Kais Haddar
چکیده

RÉSUMÉ. La construction d'un analyseur syntaxique pour un langage de spécification formelle tel que l'Object Z n'est pas une tâche facile. En effet, elle nécessite une double compétence aussi bien dans le domaine de la compilation que dans le domaine de la spécification formelle. Dans cet article, nous présentons tout d'abord quelques outils de vérifications des spécifications écrites en Z et Object Z en montrant les caractéristiques de chacun d'eux. Ensuite, nous identifions quelques contraintes sémantiques fréquentes en Object Z. Finalement, nous proposons une démarche pour la construction d'un analyseur syntaxique Object Z basé sur les techniques classiques de la compilation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Verbs in Applied Linguistics Research Article Introductions: Semantic and syntactic analysis

This study aims to investigate the semantic and syntactic features of verbs used in the introduction section of Applied Linguistics research articles published in Iranian and international journals. A corpus of 20 research article introductions (10 from each journal) was used. The corpus was analysed for the syntactic features (tense, aspect and voice) and semantic meaning of verbs. The finding...

متن کامل

Verbs in Applied Linguistics Research Article Introductions: Semantic and syntactic analysis

This study aims to investigate the semantic and syntactic features of verbs used in the introduction section of Applied Linguistics research articles published in Iranian and international journals. A corpus of 20 research article introductions (10 from each journal) was used. The corpus was analysed for the syntactic features (tense, aspect and voice) and semantic meaning of verbs. The finding...

متن کامل

Canonicity Effect on Sentence Processing of Persian-speaking Broca’s Patients

Introduction: Fundamental notions of mapping hypothesis and canonicity were scrutinized in Persian-speaking aphasics.  Methods: To this end, the performance of four age-, education-, and gender matched Persian-speaking Broca's patients and eight matched healthy controls in diverse complex structures were compared via the conduction of two tasks of syntactic comprehension and grammaticality jud...

متن کامل

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1210.3858  شماره 

صفحات  -

تاریخ انتشار 2007